Fix previous change in w32menu.c.
authorEli Zaretskii <eliz@gnu.org>
Sat, 21 Jul 2012 19:26:25 +0000 (22:26 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 21 Jul 2012 19:26:25 +0000 (22:26 +0300)
commit6358fd9e2160da538a19258122ae8f7cd3aba805
tree3d17afafc19de2c24d77d4192586f525e732c9ba
parent47776ce142cc9f56c4c49ae32d29f8e7d9eb359e
Fix previous change in w32menu.c.
src/ChangeLog
src/w32menu.c